Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
51	Game Theory in Formal Verification Scribe notes for Lecture 6 Algorithms for Parity Games Arjun Radhakrishna April 28, 2010 Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2010-04-28 04:10:01 Rho Physics Parity Quantum field theory
52	Scribe Notes: Game Theory in Formal Verification, Krishnendu Chatterjee Lecture 3 Matthias F¨ ugger, March 25, 2010 Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2010-03-25 12:26:50 Entailment Logical consequence Metalogic Philosophical logic Function Knaster–Tarski theorem Logic Mathematics Deduction
53	GAME THEORY IN FORMAL VERIFICATION SCRIBE NOTES FOR LECTURE 5 THOMAS NOWAK 1. Parity Objectives 1.1. Definition. Consider a graph (S, E). Let d be a non-negative integer and Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2010-04-23 02:11:21
54	Game Theory in Formal Verification Scribe Notes for Lecture 8 Markov Decision Processes Damien Zufferey May 26, 2010 Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2010-05-26 03:41:32 Markov chain Markov decision process Statistics Markov processes Markov models
55	Scribe Notes: Game Theory in Formal Verification, Krishnendu Chatterjee Lecture 2 Heinrich Moser, March 12, 2010 Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2010-03-12 05:03:34 Entailment Logical consequence Metalogic Philosophical logic Partition Reachability Schedule FO Logic Mathematics Deduction
56	A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes? Alejandro S´anchez1 and C´esar S´anchez1,2 1 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Binary tree Parity of a permutation Combinatorial species Skip list Model theory Mathematics Combinatorics Group theory
57	Game Theory in Formal Verification Scribe Notes for Lecture 7 Friedrich Slivovsky Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2010-05-03 11:15:34 Determinacy Parity game
58	1 Title Space Systems Engineering Add to Reading List Source URL: cent.ele.kyutech.ac.jp Language: English - Date: 2013-05-11 03:29:20 Systems science System requirements Verification Engineering Systems design Spacecraft Spacecraft design Outline of engineering Systems engineering Spaceflight Systems theory
59	Automata and Logics for Concurrent Systems: Realizability and Verification Habilitation Thesis Mémoire d’Habilitation à Diriger des Recherches submitted by Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-07-17 03:24:58 Computer science Finite-state machine Model checking Formal verification Nested word Formal methods Automata-based programming Automata theory Theoretical computer science Applied mathematics
60	SUR SURVEY Theory in Practice for System Design and Verification Rajeev Alur Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2015-01-07 11:30:13

UPDATE